Uploads
Contact
/
Login
Upload
Search Results for '3theformaldevelopmentisavailableathttp:/www.maximedenes.fr/coqealquotients.quotientscorrespondtothecasewherethespeci Cationandim Plementationfunctionsaretotalandwherethespeci Cationisaleftinverseof'
andN.to_nat:N -nat.RecentversionsofthelibrarymakeuseofML-likemodulesan
liane-varnes
